double pipe (||) - Allemand Anglais Dictionnaire